In this paper I do two things: (1) I support the claim that there is still some confusion about just what the Quine-Putnam indispensability argument is and the way it employs Quinean meta-ontology and (2) I try to dispel some of this confusion by presenting the argument in a way which reveals its important meta-ontological features, and include these features explicitly as premises. As a means to these ends, I compare Peter van Inwagen’s argument for the existence of properties with (...) Putnam’s presentation of the indispensability argument. Van Inwagen’s argument is a classic exercise in Quinean meta-ontology and yet he claims – despite his argument’s conspicuous similarities to the Quine-Putnam argument – that his own has a substantially different form. I argue, however, that there is no such difference between these two arguments even at a very high level of specificity; I show that there is a detailed generic indispensability argument that captures the single form of both. The arguments are identical in every way except for the kind of objects they argue for – an irrelevant difference for my purposes. Furthermore, Putnam’s and van Inwagen’s presentations make an assumption that is often mistakenly taken to be an important feature of the Quine-Putnam argument. Yet this assumption is only the implicit backdrop against which the argument is typically presented. This last point is brought into sharper relief by the fact that van Inwagen’s list of the four nominalistic responses to his argument is too short. His list is missing an important – and historically popular – fifth option. (shrink)

Aberrant consumer behaviour costs firms millions of pounds a year, and the Internet has provided young techno-literate consumers with a new medium to exploit businesses. This paper addresses Internet related ethics and describes the ways in which young consumers misdemean on the Internet and their attitudes towards these. Using a sample of 219 generation Y consumers, the study identified 24 aberrant behaviours which grouped into five factors; illegal, questionable activities, hacking related, human Internet trade and downloading. Those perceived as least (...) wrong were; "Downloading movie and music files from the Internet for free". The consequences of these behaviours have implications for educators, consumer policy and marketers. (shrink)

Multilevel research strategies characterize contemporary molecular inquiry into biological systems. We outline conceptual, methodological, and explanatory dimensions of these multilevel strategies in microbial ecology, systems biology, protein research, and developmental biology. This review of emerging lines of inquiry in these fields suggests that multilevel research in molecular life sciences has significant implications for philosophical understandings of explanation, modeling, and representation.

Judicial Deliberations compares how and why the European Court of Justice, the French Cour de cassation and the US Supreme Court offer different approaches for generating judicial accountability and control, judicial debate and deliberation, and ultimately judicial legitimacy. Examining the judicial argumentation of the United States Supreme Court and of the French Cour de cassation, the book first reorders the traditional comparative understanding of the difference between French civil law and American common law judicial decision-making. It then uses this analysis (...) to offer the first detailed comparative examination of the interpretive practice of the European Court of Justice. Lasser demonstrates that the French judicial system rests on a particularly unified institutional and ideological framework founded on explicitly republican notions of meritocracy and managerial expertise. Law-making per se may be limited to the legislature; but significant judicial normative administration is entrusted to State selected, trained, and sanctioned elites who are policed internally through hierarchical institutional structures. The American judicial system, by contrast, deploys a more participatory and democratic approach that reflects a more populist vision. Shunning the unifying, controlling, and hierarchical French structures, the American judicial system instead generates its legitimacy primarily by argumentative means. American judges engage in extensive debates that subject them to public scrutiny and control. The ECJ hovers delicately between the institutional/argumentative and republican/democratic extremes. On the one hand, the ECJ reproduces the hierarchical French discursive structure on which it was originally patterned. On the other, it transposes this structure into a transnational context of fractured political and legal assumptions. This drives the ECJ towards generating legitimacy by adopting a somewhat more transparent argumentative approach. (shrink)

The earlier volume in this series dealt with two religions of Indian origin, namely, Buddhism and Jainism. The Indian religious scene, however, is characterized by not only religions which originated in India but also by religions which entered India from outside India and made their home here. Thus religious life in India has been enlivened throughout its history by the presence of religions of foreign origin on its soil almost from the very time they came into existence. This volume covers (...) three such religions—Zoraoastrianism, Judaism, and Islam. In the case of Zoraostianism, even its very beginnings are intertwined with India, as Zoroastrianism reformed a preexisting religion which had strong links to the Vedic heritage of India. This relationship took on a new dimension when a Zoroastrian community, fearing persecution in Persia after its Arab conquest, sought shelter in western India and ultimately went on to produce India’s pioneering nationalist in the figure of Dadabhai Naoroji ( 1825-1917), also known as the Grand Old Man of India. Jews found refuge in south India after the destruction of the Temple by the Romans in 70 C.E. and have remained a part of the Indian religious scene since then, some even returning to Israel after it was founded in 1948. Islam arrived in Kerala as soon as it was founded and one of the earliest mosques in the history of Islam is found in India. Islam differs from the previously mentioned religions inasmuch as it went on to gain political hegemony over parts of the country for considerable periods of time, which meant that its impact on the religious life of the subcontinent has been greater compared to the other religions. It has also meant that Islam has existed in a religiously plural environment in India for a longer period than elsewhere in the world so that not only has Islam left a mark on India, India has also left its mark on it. Indeed all the three religions covered in this volume share this dual feature, that they have profoundly influenced Indian religious life and have also in turn been profoundly influenced by their presence in India. (shrink)

The earlier volume in this series dealt with two religions of Indian origin, namely, Buddhism and Jainism. The Indian religious scene, however, is characterized by not only religions which originated in India but also by religions which entered India from outside India and made their home here. Thus religious life in India has been enlivened throughout its history by the presence of religions of foreign origin on its soil almost from the very time they came into existence. This volume covers (...) three such religions—Zoraoastrianism, Judaism, and Islam. In the case of Zoraostianism, even its very beginnings are intertwined with India, as Zoroastrianism reformed a preexisting religion which had strong links to the Vedic heritage of India. This relationship took on a new dimension when a Zoroastrian community, fearing persecution in Persia after its Arab conquest, sought shelter in western India and ultimately went on to produce India’s pioneering nationalist in the figure of Dadabhai Naoroji ( 1825-1917), also known as the Grand Old Man of India. Jews found refuge in south India after the destruction of the Temple by the Romans in 70 C.E. and have remained a part of the Indian religious scene since then, some even returning to Israel after it was founded in 1948. Islam arrived in Kerala as soon as it was founded and one of the earliest mosques in the history of Islam is found in India. Islam differs from the previously mentioned religions inasmuch as it went on to gain political hegemony over parts of the country for considerable periods of time, which meant that its impact on the religious life of the subcontinent has been greater compared to the other religions. It has also meant that Islam has existed in a religiously plural environment in India for a longer period than elsewhere in the world so that not only has Islam left a mark on India, India has also left its mark on it. Indeed all the three religions covered in this volume share this dual feature, that they have profoundly influenced Indian religious life and have also in turn been profoundly influenced by their presence in India. (shrink)

This book introduces Robert Corrington’s “ecstatic naturalism,” a new perspective in understanding “sacred” nature and naturalism, and explores what can be done with this philosophical thought. This is an excellent resource for scholars of Continental philosophy, philosophy of religion, and American pragmatism.

People with lived experience are individuals who have first-hand experience of the medical condition being considered. The value of including the viewpoints of people with lived experience in health policy, health care, and health care and systems research has been recognized at many levels, including by funding agencies. However, there is little guidance or established best practices on how to include non-academic reviewers in the grant review process. Here we describe our approach to the inclusion of people with lived experience (...) in every stage of the grant review process. After a budget was created for a specific call, a steering committee was created. This group included researchers, people with lived experience, and health systems administrators. This group developed and issued the call. After receiving proposals, stage one was scientific review by researchers. Grants were ranked by this score and a short list then reviewed by people with lived experience as stage two. Finally, for stage three, the Steering Committee convened and achieved consensus based on information drawn from stages one and two. Our approach to engage people with lived experience in the grant review process was positively reviewed by everyone involved, as it allowed for patient perspectives to be truly integrated. However, it does lengthen the review process. The proposed model offers further practical insight into including people with lived experience in the review process. (shrink)

People with lived experience are individuals who have first-hand experience of the medical condition being considered. The value of including the viewpoints of people with lived experience in health policy, health care, and health care and systems research has been recognized at many levels, including by funding agencies. However, there is little guidance or established best practices on how to include non-academic reviewers in the grant review process. Here we describe our approach to the inclusion of people with lived experience (...) in every stage of the grant review process. After a budget was created for a specific call, a steering committee was created. This group included researchers, people with lived experience, and health systems administrators. This group developed and issued the call. After receiving proposals, stage one was scientific review by researchers. Grants were ranked by this score and a short list then reviewed by people with lived experience as stage two. Finally, for stage three, the Steering Committee convened and achieved consensus based on information drawn from stages one and two. Our approach to engage people with lived experience in the grant review process was positively reviewed by everyone involved, as it allowed for patient perspectives to be truly integrated. However, it does lengthen the review process. The proposed model offers further practical insight into including people with lived experience in the review process. (shrink)

Este escrito se propone exponer, desarrollar y fundamentar, a grandes rasgos, un cuestionamiento interpretativo sobre la vinculación entre J. Rancière y L. Althusser, específicamente en torno a la concepción de policía del primero y de aparato de Estado del segundo. Es conocido que, en una primera etapa, Rancière fue cercano al pensamiento de Althusser, pero nunca un adherente del mismo. No obstante, en su pensamiento político se pueden hallar residuos y vestigios que parecieran dar cuenta de aquella primera relación intelectual (...) que se trazó como un cruzamiento entre ambos autores. Teniendo esto en mente, se vuelve menos descabellado el plantear lo siguiente como eje de este texto: que la caracterización de lo policiaco o de la policía, tal como está en algunos textos de Rancière, tiende a insinuar un cierto símil con la noción de aparato de Estado, propia del marxismo althusseriano, en tanto que se considera a este último en su duplicidad o doble faceta: aparato represivo de Estado y aparatos ideológicos de Estado. ¿Es plausible una lectura interpretativa que se maneje en esta clave, siguiendo esta intuición pese a todas las objeciones que se alzan a la brevedad? En la presente indagación se intentará dar respuesta a esta interrogante. (shrink)

en este escrito se hará un acercamiento a los conceptos de existencia y estar-en-el-mundo de Heidegger, tal como son expuestos en Ser y tiempo, es decir, a partir de la hermenéutica del Dasein, aunque en algunos pasajes se recurrirá, también, a otras obras del autor alemán, ya sea para matizar o reforzar ciertos aspectos del asunto. Asimismo, se buscará mostrar cómo dichos conceptos se relacionan y se enmarcan en una investigación más amplia sobre la pregunta por el sentido del ser. (...) En síntesis, el objetivo de este escrito es desarrollar un acercamiento a los conceptos de existencia y ser-en-el-mundo o estar-en-el-mundo y su relación y lugar dentro de la indagación heideggeriana que se cuestiona por el sentido del ser. Además, se indicarán, a grandes rasgos, algunas similitudes y vínculos entre el pensamiento de Heidegger y el de Ortega y Gasset y Sartre, teniendo siempre como puntos de referencia los conceptos centrales que aborda este trabajo. Por último, se considerará si las lecturas filosóficas de los autores examinados aún son adecuadas para describir el fenómeno de la vida, vale decir, al ser humano y su existencia concreta. (shrink)

Los teóricos estadounidenses conocidos como “los nuevos originalistas” han propuesto en los años recientes una visión de la adjudicación constitucional y de la implementación constitucional extra-judicial que concede un lugar central a la distinción entre “interpretación constitucional” y “construcción constitucional.” La primera es entendida como el proceso consistente en determinar el significado lingüístico del texto constitucional mientras que la construcción es el proceso consistente en traducir el significado lingüístico a tests o reglas jurídicas, paradigmáticamente, aunque de forma no exclusiva, para (...) hacer más preciso un texto vago. Este artículo, escrito en el contexto de un simposio sobre la distinción interpretación/construcción en la teoría constitucional, hace una evaluación crítica de la coherencia y utilidad de cincelar de este modo el espacio constitucional de implementación. Argumenta que suplementar la interpretación constitucional con la noción de construcción constitucional no salva al originalismo de los muchos cuestionamientos que enfrenta; que la distinción entre la determinación del significado lingüístico y la construcción de tests o reglas jurídicas no es particularmente útil; y que la distinción más clara en este ámbito es la que distingue entre la determinación del significado o contenido jurídico de un texto y la formulación de doctrina para implementar o administrar ese significado jurídico. Ésa es la distinción que fundamenta la distinción que yo y otros académicos hemos trazado con anterioridad entre “proposiciones constitucionales operativas” y “reglas constitucionales de decisión.”. (shrink)

Arthur O. Lovejoy famously referred to thirteen pragmatisms. If he were called on to enumerate postmodernisms, no doubt he would increase this number tenfold.1 Fortunately I need not follow his lead for the task at hand, namely, to discuss whether the pragmatic tradition can narrow the divide between modernism and postmodernism on the topic of cosmopolitanism. To do so I will focus on specific sets of ideas that have been associated with these terms. So, for example, modernists have been viewed (...) as defenders of some form of universality, ethical or conceptual, and of a responsible, self-actuating, authentic subject. Postmodernists look toward particularity and alterity, and stress that notions of a unitary subject .. (shrink)

This article offers a reply to commentaries from Amy Kind, Casey O’Callaghan, and Wayne Wu. It features a defense and further analysis of perceptual malleability, as defended in _Thinking and Perceiving_. In turn, it considers the consequences of malleability for attention and the cognitive penetrability of perception, imagination and perceptual skills, and perceptual content and objectivity.

This is a symposium on _Thinking and Perceiving_, a single authored monograph that argues that thought not only affects sensory perception, but sometimes improves it, and sometimes to the point of epistemic virtue. The case for these claims is empirically grounded, with special emphasis on studies on perceptual expertise. The symposium includes an introduction by the author, and three critical commentaries--by Amy Kind, Casey O'Callaghan, and Wayne Wu--concluding with a reply by the author. The discussion is wide ranging, including: attention, (...) cognitive penetrability or perception, the modularity of mind; computational analyses of mind, imagination, imaginative skill and expertise; theory-ladenness of perception; objectivity; perceptual content and perceptual success. (shrink)

John Cassian, an Egyptian monk in the early fifth century offers splendid wisdom and counsel regarding many spiritual disciplines. This reflection describes a personal experience of journeying with Cassian's prayer. In the most frequently quoted excerpt from his Conferences, Cassian raises up a prayer formula using Psalm 70:1 as a verse to facilitate unceasing prayer of the heart: “O God, come to my assistance; Lord, make haste to help me. “ In an unexpected and surprising way, this verse from Psalm (...) 70 comes to appear in the Liturgy of the Hours, as a preamble verse to Morning, Daytime, and Evening Prayer. Over the centuries, this simple verse from the Psalms has carried an entire prayer tradition, rooted in the spirituality of the desert. Cassian's elucidation of this verse reminds us how a formative reading of Scripture is integrally bound to the soul's progress in prayer. (shrink)

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem. Suppose κ is a singular strong limit cardinal and 2κ λ where λ is not the successor of a cardinal of cofinality at most κ. If cf > ω then it follows that o λ, and if cf = ωthen either o λ or {α: K o α+n} is confinal in κ for (...) each n ε ω.We also prove several results which extend or are related to this result, notably Theorem. If 2ω ω1 then there is a sharp for a model with a strong cardinal.In order to prove these theorems we give a detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders. (shrink)

The Great Philosophers, From Thales of Miletus (ca. 620-540 b.c.), "The first natural scientist and analytical philosopher in Western intellectual history," to W.V.O. Quine (1908-2000): "Only science can tell us the truth about the world" Philosophy is a thorough and accessible introduction to the Western intellectual tradition, covering philosophical, scientific, and religious thought over a period of 2,500 years. Offering brief summaries of the work of Socrates, Plato, and Aristotle, as well as Copernicus, Machiavelli, Galileo, Spinoza, Voltaire, Adam Smith, Mary (...) Wollstonecraft, Thomas Paine, Darwin, Marx, Freud, Simone de Beauvoir, Levi-Strauss, and Einstein, to name just a few, this book will serve as an invaluable guide for those seeking a clear introduction to the work of individual philosophers. A lucid and engaging book, Philosophy is sure to stimulate and absorb students and laymen alike. (shrink)

§ 1. Introduction. Perhaps the most surprising recent development in complexity theory is the discovery that the class NP can be characterized using a form of randomized proof checker that only examines a constant number of bits of the “proof” that a string is in a language [6, 5, 31, 3, 4]. More specifically, writing ∣x∣ for the length of a string x, a language L in the class NP of languages recognizable in Nondeterministic polynomial time is traditionally given by (...) a polynomial p and a polynomial-time predicate P such that a string x is in L iff there is some string y satisfying P, where ∣y∣ ≤ p. Intuitively, we can think of a string y as a possible proof that x ϵ L, with the predicate P some kind of proof checker that distinguishes good proofs from bad ones. A string x is therefore in a language L ϵ NP if there is a short proof that x ϵ L, and not in L otherwise. The surprising discovery is that the deterministic proof checker that reads the entire input and proof can be replaced by a probabilistic verifier that on input x and possible proof y, where y is presented in a certain way, flips at most O coins and reads at most a constant number of bits of x and y. Obviously, a probabilistic verifier that does not read the whole proof will sometimes make mistakes. However, the surprising and essentially non-intuitive mathematical fact is that for each language L in NP, it is possible to find a polynomial q and verifier V flipping a logarithmic number of coins and reading a constant number of bits such that, for any x ϵ L, there exists y with ∣y∣ ≤ q and with V accepting with probability 1 and, for x ∉ L, there is no y with ∣y∣ ≤ q and with V accepting with probability ≥ 1/4. This idea canalsobeextended to PSPACE [10, 9], using a game that alternates between two players instead of a proof presented by a “single player.”. (shrink)

In “Friendship Amongst the Self-Sufficient: Epicurus” (this Journal, Vol. 2, No. 2, June 2001), Andrew Mitchell explores the Epicurean view of the relationship between self-sufficiency and friendship by contrasting it with the views of Aristotle and the Stoics. Epicurus, Aristotle, and the Stoics do indeed have interestingly different views on friendship that are well worth comparing. Yet Mitchell’s characterization of Aristotelian friendship is misleading, his account of Stoic friendship is inaccurate, and his interpretation of Epicurean friendship is curiously (...) imaginative but ultimately rather strange. (shrink)

O’Donohue has identified 37 criticisms of the American Psychological Association’s Ethical Principles of Psychologists and Code of Conduct (Ethics Code), although many of his criticisms go far beyond what is found written in the APA Ethics Code, to include the process of adjudicating ethics complaints by the American Psychological Association Ethics Committee, and the process by which the Ethics Code was developed. The authors claim that a major shortcoming of O’Donohue’s article is that he adopted an unrealistically expansive role for (...) the Ethics Code that was not clearly linked to furthering the goals of the ethics code revision. (shrink)

Self, Language, and World: Problems from Kant, Sellars, and Rosenberg Edited by James R. O'Shea and Eric M. Rubenstein Introduction KANT Willem deVries, Kant, Rosenberg, and the Mirror of Philosophy David Landy, The Premise That Even Hume Must Accept LANGUAGE AND MIND William G. Lycan, Rosenberg On Proper Names Douglas Long, Why Life is Necessary for Mind: The Significance of Animate Behavior Dorit Bar-On and Mitchell Green, Lionspeak: Communication, Expression, and Meaning David Rosenthal, The Mind and Its Expression MIND (...) AND KNOWLEDGE Jeffrey Sicha, The Manifest Image: the Sensory and the Mental Bruce Aune, Rosenberg on Knowing Joseph C. Pitt, Sellarsian Antifoundationalism and Scientific Realism Matthew Chrisman, The Aim of Belief and the Goal of Truth: Reflections on Rosenberg James O’Shea, Conceptual Thinking and Nonconceptual Content: A Sellarsian Divide ONTOLOGY Anton Koch, Persons as Mirroring the World Eric M. Rubenstein, Form and Content, Substance and Stuff Ralf Stoecker, On Being a Realist About Death William G. Lycan, Biographical Remarks on Jay F. Rosenberg Scholarly Publications of Jay F. Rosenberg. (shrink)

El objetivo del estudio se orientó a analizar el desarrollo socioemocional de niños(as) con habilidades diferentes que participaron en actividades de equinoterapia en la ciudad de Lima. La muestra del estudio, realizado con diseño fenomenológico, estuvo constituida por los padres o madres de familia que participaron en la implementación de actividades de equinoterapia y ofrecieron información de sus hijos(as) con autismo, síndrome de Down o trastorno por déficit de atención con y sin hiperactividad. El recojo de datos se utilizó un (...) cuestionario de preguntas abiertas que se enfocaron en las áreas social y emocional del desarrollo de niños(as), el cual fue administrado a 25 informantes, número que se alcanzó por saturación. Se encontró como resultado que los(as) niños(as) que participan en actividades de equinoterapia con enfoque holístico se ve favorecido su desarrollo socioemocional, referente a la relación de apego y control de emociones en el área emocional, y las relaciones. (shrink)

If there is no inner model with a cardinal κ such that o(κ) = κ ++ then the set K ∩ H ω 1 is definable over H ω 1 by a Δ 4 formula, and the set $\{J_\alpha[\mathscr{U}]: \alpha of countable initial segments of the core model K = L[U] is definable over H ω 1 by a Π 3 formula. We show that if there is an inner model with infinitely many measurable cardinals then there is a model (...) in which $\{J_\alpha [\mathscr{U}]: \alpha is not definable by any Σ 3 formula, and K ∩ H ω 1 is not definable by any boolean combination of Σ 3 formulas. (shrink)

We reprove Gitik's theorem that if the GCH holds and o(κ) = κ + 1 then there is a generic extension in which κ is still measurable and there is a closed unbounded subset C of κ such that every $\nu \in C$ is inaccessible in the ground model. Unlike the forcing used by Gitik. the iterated forcing $R_{\lambda +1}$ used in this paper has the property that if λ is a cardinal less then κ then $R_{\lambda + 1}$ can (...) be factored in V as $R_{\kappa + 1} = R_{\lambda + 1} \times R_{\lambda + 1, \kappa}$ where $\mid R_{\lambda +1}\mid \leq \lambda^+$ and $R_{\lambda + 1, \kappa}$ does not add any new subsets of λ. (shrink)

We reprove Gitik’s theorem that if the GCH holds and $o=\gk+1$ then there is a generic extension in which $\gk$ is still measurable and there is a closed unbounded subset C of $\gk$ such that every $ν\in C$ is inaccessible in the ground model. Unlike the forcing used by Gitik, the iterated forcing $\radin\gl+1$ used in this paper has the property that if $\gl$ is a cardinal less then $\gk$ then $\radin\gl+1$ can be factored in V as $\radin\gk+1=\radin\gl+1\times\radin\gl+1,\gk$ where $\card{\radin\gl+1}\le\gl+$ (...) and $\radin\gl+1,\gk$ does not add any new subsets of $\gl$. (shrink)

Nucleation and motion of kink pairs on partial dislocations are examined by elasticity theory for materials with a high Peierls stress. Two approaches are used: one considers the change in average stacking-fault energy due to alloying elements and the other considers the change in local SFE due to a nearby solute atom. Both approaches highlight the role of SFE on kink nucleation, propagation and annihilation and both furnish strain rate as a function of stress, temperature and SFE. Model predictions are (...) compared with yield stress data for two systems: firstly, an intermetallic, MoSi 2 , which softens for alloying elements that decrease the SFE and hardens for Re additions that increase the SFE; secondly, a ceramic oxide, MgO-Al 2 O 3 spinel, which softens with increasing addition of excess alumina and at the same time exhibits a decrease in SFE. The average SFE approach agrees qualitatively with the data while quantitative agreement is obtained with the local SFE approach. The possibility is considered that the model applies to other materials, such as TiAl, HfV 2 and Fe 3 Al, which show softening with certain alloying additions. One requirement is that the dislocations are dissociated more than a few atomic distances; otherwise kink nucleation occurs on the perfect dislocation . Hence the model does not apply to materials such as bcc metals which only have a core dissociation. Normal hardening effects of solutes from size and modulus misfits are additive with any softening effects from a decrease in SFE and so may mask the latter, as occurs for W additions to MoSi 2. (shrink)

If there is no inner model with a cardinal $\kappa$ such that $o = \kappa^{++}$ then the set $K \cap H_{\omega_1}$ is definable over H$_{\omega_1}$ by a $\Delta_4$ formula, and the set $\{J_\alpha[\mathscr{U}] : \alpha < \omega_1\}$ of countable initial segments of the core model $K = L[\mathscr{U}]$ is definable over $H_{\omega_1}$ by a $\Pi_3$ formula. We show that if there is an inner model with infinitely many measurable cardinals then there is a model in which $\{J_\alpha [\mathscr{U}] : \alpha (...) < \omega_1\}$ is not definable by any $\Sigma_3$ formula, and $K \cap H_{\omega_1}$ is not definable by any boolean combination of $\Sigma_3$ formulas. (shrink)